$\vdash$ $\forall$$i$:$\mathbb{Z}^{-\circ}$. $i$ $\neq$ 0